A Functional View of Imperative Information Flow
نویسندگان
چکیده
We analyze dynamic information-flow control for imperative languages in terms of functional computation. Specifically, we translate an imperative language to a functional language, thus accounting for the main difficulties of information-flow control in the imperative language.
منابع مشابه
RELATIVE INFORMATION FUNCTIONAL OF RELATIVE DYNAMICAL SYSTEMS
In this paper by use of mathematical modeling of an observer [14,15] the notion of relative information functional for relative dynamical systemson compact metric spaces is presented. We extract the information function ofan ergodic dynamical system (X,T) from the relative information of T fromthe view point of observer χX, where X denotes the base space of the system.We also generalize the in...
متن کاملInformation Integrity Imperative for Competitive Advantage in Business Environment characterized by Uncertainty
The paper first develops the core IS view of business activity, which comprises informational and physical work systems and central to which is the informational work system delivering information decision for control implementation at the physical work system. Following this the paper delineates the 5Cs contributing to uncertainty in system environment leading to errors in business process IS ...
متن کاملData Flow Coverage for Testing Erlang Programs
Flow graph oriented testing is heavily used in industry, but has not yet been adapted to functional programming. Carrying over this approach from imperative programs to other programming paradigms consists of adapting the notion of flow graphs, and the identification of useful coverage criteria. The identification of coverage criteria is the topic of this paper. We define a number of data flow ...
متن کاملFaceted Information Flow and Bi-Monadic Interpreters
When an application fails to ensure information flow security, it may leak sensitive data such as passwords, credit card numbers, or medical records. News stories of such failures abound. Austin and Flanagan [2012] introduce faceted values – values that present different behavior according to the privileges of the observer – as a dynamic approach to enforcing information flow policies for an un...
متن کاملFaceted Dynamic Information Flow via Control and Data Monads
An application that fails to ensure information flow security may leak sensitive data such as passwords, credit card numbers, or medical records. News stories of such failures abound. Austin and Flanagan[2] introduce faceted values – values that present different behavior according to the privilege of the observer – as a dynamic approach to enforce information flow policies for an untyped, impe...
متن کامل